Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
301	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics
302	On the Complexity of Existential Positive Queries HUBIE CHEN, Universidad del Pa´ıs Vasco and IKERBASQUE We systematically investigate the complexity of model checking the existential positive fragment of firstorder lo Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2013-09-23 12:22:15 Finite model theory Model theory Parameterized complexity Analysis of algorithms Structural complexity theory FO First-order logic SO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
303	Coupling Semi-Supervised Learning of Categories and Relations Andrew Carlson1 , Justin Betteridge1 , Estevam R. Hruschka Jr.1,2 and Tom M. Mitchell1 1 School of Computer Science Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2009-04-19 21:15:00 Machine learning Semantics Coupled pattern learner Natural language processing Computational linguistics Semantic Web Predicate Word-sense disambiguation Categories Logic Science Linguistics
304	IS IT REALLY ZERO? CHEE K. YAP Algebra is generous, she often gives more than is asked of her. — Jean Le Rond d’Alembart[removed]The history of the zero recognition problem is somewhat confused by the fact that man Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-03-05 17:40:23 Number Transcendental number Polynomial Transcendence theory Algorithm Floating point Real number Computational complexity theory Algebra Mathematics Mathematical logic Group theory
305	Detecting Privacy Leaks Using Corpus-based Association Rules Richard Chow Philippe Golle Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2008-06-24 18:58:26 Logic Natural language processing Computational linguistics Formal sciences Expert systems Inference Knowledge representation and reasoning Association rule learning Information retrieval Science Knowledge Reasoning
306	MARS: Still an Alien Planet in Soft Computing? † Ajith Abraham and Dan Steinberg School of Computing and Information Technology Add to Reading List Source URL: media.salford-systems.com Language: English - Date: 2013-07-26 03:41:34 Science Cybernetics Regression analysis Econometrics Computational neuroscience Multivariate adaptive regression splines Neuro-fuzzy Artificial neural network Fuzzy logic Statistics Artificial intelligence Neural networks
307	Smalltalk • Chess - Man vs. Machine • Buyers Guide[removed]Where Intelligent Technology Meets the Real World www.pcai.com Add to Reading List Source URL: www.pcai.com Language: English - Date: 2011-02-20 20:02:00 Computational neuroscience Cybernetics Decision theory Information systems Neural network Fuzzy logic Expert system Machine learning Knowledge representation and reasoning Artificial intelligence Science Knowledge
308	Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion ∗ Xin Luna Dong , Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, † Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-08-22 00:01:31 Natural language processing Semantics Computational linguistics Bayesian statistics Philosophy of science Information extraction Knowledge representation and reasoning Prior probability Predicate Logic Science Linguistics
309	Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-11 14:30:36 The Manitoban ACM Transactions on Computational Logic Victor Vianu Computer science
310	From Lexical Entailment to Recognizing Textual Entailment Using Linguistic Resources Bahadorreza Ofoghi Centre for Informatics & Applied Optimization, University of Ballarat Victoria 3350, Australia Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2009-11-23 02:07:46 Computational linguistics Logical consequence Knowledge representation Online dictionaries Philosophical logic Textual entailment WordNet Entailment FrameNet Logic Linguistics Science

UPDATE